ИСПОЛЬЗОВАНИЕ РЕВЕРСИВНЫХ ЧАСТИЧНО МАРКИРОВАННЫХ sNCES-СЕТЕЙ
В СИНТЕЗЕ КОНТРОЛЛЕРОВ БЕЗОПАСНОСТИ ДЛЯ ДИСКРЕТНО-СОБЫТИЙНЫХ СИСТЕМ 

Дубинин Виктор Николаевич, кандидат технических наук, доцент кафедры вычислительной техники Пензенского государственного университета.

519.714

В работе рассмотрены вопросы использования реверсивных частично маркированных sNCES-сетей (RsNCES-сетей) в синтезе контроллеров безопасности для дискретно-событийных систем. К основным результатам работы относятся: расширенные sNCES-сети, включающие продукционные правила, для
моделирования замкнутых систем; методы предотвращения разрешенных шагов в sNCES-сетях на основе конфигураций шагов в RsNCES-сетях с учетом взаимовлияния предотвращения шагов, а также метод построения предотвращающих правил на основе графа достижимости критических маркировок для RsNCES-сети.

 Скачать статью в формате PDF

1. Boel, R. Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems / R. Boel, X. R. Cao, G. Cohen, A. Giua, W. M. Wonham, J. H. van Schuppen // J. Discrete Event Dynamic Systems: Theory and Application. – 2002. – V. 12. – № 3. – P. 253–264.
2. Barbeau, M. Beyond the verification approach: the synthesis approach / M. Barbeau, R. St-Denis // WorldScientific. – 1999. – № 1. – P. 1–23.
3. Vyatkin, V. Rapid engineering and re-configuration of automation objects using formal verification / V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer, V. Dubinin // International Journal of Manufacturing Research. – 2006. – V. 1. – № 4. – P. 382–404.
4. Ramadge, P. J. Supervisory control of a class of discrete-event processes / P. J. Ramadge, W. M. Wonham // SIAM Journal Control and Optimization. – 1987. – V. 25. – № 1. – P. 206–230.
5. Giua, A. Petri net techniques for supervisory control of discrete event systems // Proc. First Work. on Manufacturing and Petri nets, Osaka, Japan. – 1996. – June. – P. 1–30.
6. Holloway, L. E. A survey of Petri net methods for controlled discrete event systems / L. E. Holloway, B. H. Krogh, A. Giua // J. Discrete Event Dynamic Systems: Theory and Application. – 1997. – V. 7. – № 2. – P. 151–190.
7. Hanisch, H.-M. Netz-Condition/Event Systeme / H.-M. Hanisch, M. Rausch // 4. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA’95), Braunschweig. – 1995. – May. – Tagungsband. – S. 55–71.
8. Hanisch, H.-M. Controller synthesis for net condition/event systems with incomplete state observation / H.-M. Hanisch, A. Lueder, M. Rausch // Computer Integrated Manufacturing and Automation Technology (CIMAT 96). – 1996. – May. – P. 351– 356.
9. Missal, D. Synthesis of distributed controllers by means of a monolithic approach / D. Missal, H.-M. Hanisch // Proceedings of the 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’2006), Prague. – 2006. – September. – P. 356–363.
10. Ду бинин, В. Н. Реверсивные частично маркированные sNCES-сети / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 2. – C. 22–31.
11. Ду бинин, В. Н. Интерпретация реверсивных частично маркированных sNCES-сетей / В.Н.Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – C. 35–43.